Model theory - PDFSEARCH.IO - Document Search Engine

Model theory
Results: 13417

#	Item
551	C:/Documents and Settings/Kostas Stefanidis/Desktop/final-survey/survey.dvi Add to Reading List Source URL: www.cs.uoi.gr Language: English - Date: 2012-09-28 07:58:40 Mathematics Relational model Data management Consumer theory Database theory Microeconomics Preference Relational database Tuple Binary relation Relation Finitary relation
552	GeoGraph: A Topological Storage Model for Extensible GIS K. Bennis m, B. David n, I. Morize-Quilio Q\, J.M. Thevenin ™, Y. Viemont ™ 0) MASI, Universit6 Paris VI 45, Avenue des Etats Unis, 78000 Versailles. France e Add to Reading List Source URL: mapcontext.com Language: English - Date: 2008-08-29 21:44:14 Mathematics Graph theory Topological graph theory Cognitive science Spatial relation Geographic information system Graph Topological space Combinatorial map Topology Database Tree traversal
553	Early Warning Systems for Large Earthquakes: Classification of Near-source and Far-source Stations by using the Bayesian Model Class Selection M. Yamada, T.H. Heaton & J.L. Beck California Institute of Technology, Pasade Add to Reading List Source URL: www.eqh.dpri.kyoto-u.ac.jp Language: English - Date: 2009-05-21 20:56:28 Statistics Statistical theory Statistical models Bayesian network Networks Bayesian inference Earthquake Model selection Regression analysis
554	On the theory of derivators Dissertation zur Erlangung des Doktorgrades (Dr. rer. nat.) der Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2011-10-05 02:59:38 Algebra Abstract algebra Mathematics Homological algebra Category theory Homotopy theory Monoidal categories Triangulated category Derived category Enriched category Model category Functor
555	6090 JOURNAL OF CLIMATE VOLUME 23 Add to Reading List Source URL: myweb.fsu.edu Language: English - Date: 2011-06-17 16:27:14 Statistics Statistical theory Regression analysis Bayesian statistics Statistical models Econometrics Actuarial science Linear regression Generalized linear model Probability distribution Posterior probability Prior probability
556	1481 Documenta Math. Minimization of the Energy of the Nonrelativistic One-Electron Pauli-Fierz Model over Quasifree States Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2013-11-06 14:11:43 Spectral theory Mathematics Matrix theory Mathematical analysis Operator theory Spectral theory of ordinary differential equations Symbol
557	Variations on a WIMP Patrick Stengel University of Hawaii October 1, 2015 Add to Reading List Source URL: theory.fnal.gov Language: English - Date: 2015-12-15 00:09:25 Physics Particle physics Dark matter Supersymmetry Fermions Physics beyond the Standard Model Neutralino Light dark matter Wimp Large Hadron Collider Higgsino Quark
558	Caravan: Provisioning for What-If Analysis Daniel Deutch Zachary Ives Ben-Gurion Univ. Add to Reading List Source URL: www.cs.tau.ac.il Language: English - Date: 2013-04-24 03:58:14 Data management Computing Information retrieval Database management systems SQL keywords Relational model Database theory Query optimization Null Relational database Materialized view Database
559	1 Cormas, an Agent-Based simulation platform for coupling human decisions with computerized dynamics Pierre Bommel1, Nicolas Becu2, Christophe Le Page3, François Add to Reading List Source URL: cormas.cirad.fr Language: English - Date: 2016-04-04 23:52:39 Scientific modeling Systems science Systems theory Operations research Simulation Multi-agent systems Agent-based model Abstraction Participatory modeling Social simulation Comparison of agent-based modeling software
560	The limits of tractability in Resolution-based propositional proof systems Stefan Dantchev and Barnaby Martin? School of Engineering and Computing Sciences, Durham University, Science Labs, South Road, Durham DH1 3LE, U. Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2010-03-23 07:22:00 Logic Mathematical logic Mathematics Model theory Predicate logic Finite model theory Automated theorem proving Boolean algebra First-order logic Resolution FO Interpretation

UPDATE